1

The (algebraic) congruence of two programming language definitions

Year:
1990
Language:
english
File:
PDF, 1.54 MB
english, 1990
2

Type theory and projections for static analysis

Year:
1995
Language:
english
File:
PDF, 926 KB
english, 1995